Logical reasoning - PDFSEARCH.IO - Document Search Engine

Logical reasoning
Results: 409

#	Item
371	Logic and Modules Robert Kowalski Department of Computing Imperial College London April 2005 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-04-19 05:03:57 Philosophical logic Programming paradigms Cognition Logical consequence Logic programming Modularity Knowledge representation and reasoning Reason Resolution Logic Science Reasoning
372	The Logical Way to Be Artificially Intelligent Robert Kowalski Imperial College London [removed] http://www.doc.ic.ac.uk/~rak/ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-01-31 10:29:12 Reasoning Epistemology Artificial intelligence Deduction Multi-agent systems Abductive logic programming Logic programming Abductive reasoning Robert Kowalski Logic Science Knowledge
373	Dialectic proof procedures for assumption-based, admissible argumentation 3 February 2005 P.M. Dung Division of Computer Science, Asian Institute of Technology PO Box 2754, Bangkok 10501, Thailand Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-02-07 09:13:13 Deduction Critical thinking Reasoning Argumentation theory Argument Inference Modus ponens Rule of inference Entailment Logic Arguments Logical consequence
374	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
375	Abduction, Experience, and Goals: A Model of Everyday Abductive Explanation* David B. Leake Computer Science Department Lindley Hall 215 Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-08-27 18:00:07 Critical thinking Logic Epistemology Logical consequence Philosophy of science Abductive reasoning Explanation Argument Reason Reasoning Science Knowledge
376	WUENIC – A Case Study in Rule-based Knowledge Representation and Reasoning Robert Kowalski1 and Anthony Burton21 Imperial College London, [removed] World Health Organization, Geneva, [removed] 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-05 05:03:01 Knowledge Programming paradigms Critical thinking Logical consequence Arguments Prolog Logic programming Inference Argumentation theory Reasoning Logic Science
377	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
378	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
379	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
380	Simply Logical Intelligent Reasoning by Example Peter Flach University of Bristol, United Kingdom Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-10-02 07:09:20 Reasoning Logic programming Prolog Logic Reason Robert Kowalski Reasoning system Inference Science Software engineering Knowledge

UPDATE